$\forall$$T$:Type, $R_{1}$, $R_{2}$:($T$$\rightarrow$$T$$\rightarrow\mathbb{P}$), $x$, $y$:$T$. $R_{1}$ =$>$ $R_{2}$ $\Rightarrow$ ($x$ ($R_{1}$$^{\mbox{\scriptsize $\ast$}}$) $y$) $\Rightarrow$ ($x$ ($R_{2}$$^{\mbox{\scriptsize $\ast$}}$) $y$)